Nuprl Definition : lelt
13,42
postcript
pdf
i
j
<
k
== (
i
j
) & (
j
<
k
)
latex
Up
int
1
,
int
1
Definitions
P
&
Q
,
A
B
,
a
<
b
FDL editor aliases
lelt
origin
j < k == (i j) & (j < k) j < k == (i j) & (j < k) B